Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Issue 481
haskellweekly.news·6h
🔗Functional Compilers
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·7h
📐Mathematical Art
Historical highlights?
logicmatters.net·2d
🔀Category Theory
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·6h
🌊Stream Processing
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·3h·
Discuss: DEV
📐Vector Dimensionality
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·3d
🏗️Constructive Mathematics
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Cambridge contributor session and Archives fair
blog.archiveshub.jisc.ac.uk·1d
🕸️WARC Archives
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·14h
💻Programming languages
Gradual negation types and the Python type system
jellezijlstra.github.io·11h·
Discuss: Hacker News
🔬Refinement Types
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·7h
🦀Rust Macros
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·14h
🗂️Vector Databases
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·23h·
Discuss: Hacker News
✨Algebraic Effects
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·4h
🔌Interface Evolution
Almost Always Auto (2013)
herbsutter.com·9h·
Discuss: Hacker News
🔒Type Safety